21. Goal-directed proof theory
Author: / by Dov M. Gabbay and Nicola Olivetti
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory
Classification :
QA9
.
54
.
G33
2000
22. Goal-directed proof theory
Author: / by Dov M. Gabbay and Nicola Olivetti
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory
Classification :
QA9
.
54
.
G33
2000
23. Handbook Of The History Of Logic
Author: /Edited By Dov M. Gabbay
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
24. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
Q375
.
D686
2010
25. Handbook of Philosophical Logic
Author: edited by Dov M. Gabbay, Franz Guenthner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy
26. Handbook of Philosophical Logic
Author: / Dov M. Gabbay, Franz Guenthner
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&ENGINEERING, ELECTRICAL
Classification :
E-BOOK
27. Handbook of Philosophical Logic :
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
28. Handbook of defeasible reasoning and uncertainty management systems. Vol. 4, Abductive reasoning and learning
Author: editors, Dov M. Gabbay and Philippe Smets.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abduction (Logic),Machine learning.,Reasoning.
29. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
30. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
31. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
32. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H26
33. Handbook of logic in computer science
Author: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science , Logic, Symbolic and mathematical
Classification :
QA
76
.
H2785
1992
34. Handbook of logic in computer science
Author: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
H27
1992
35. Handbook of logic in computer science
Author: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA
,
76
,.
H2785
,
1992
36. Handbook of philosophical logic.
Author: Dov M. Gabbay, Franz Guenthner, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Handbooks, manuals, etc,Logic,Philosophy
Classification :
BC71
37. Handbook of philosophical logic
Author: Dov M. Gabbay, Franz Guenthner editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Handbooks, manuals, etc. ، Logic
Classification :
BC
6
.
H36
2001
38. Handbook of philosophical logic. / Volume 17
Author: Guenthner , Franz, Dov M Gabbay; Franz Guenthner
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logique mathe matique,، Logique moderne,، Logique mathe matique non classique
Classification :
BC71
39. Handbook of quantum logic and quantum structures :
Author: edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Quantum logic,Quantum theory
Classification :
QC174
.
17
.
M35
H36
2007
40. Handbook of quantum logic and quantum structures
Author: / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Quantum logic--Handbooks, manuals, etc
Classification :
QC
,
174
.
17
,.
M35
,
H35
,
2009
